Patchen von Modellen

Für die modellbasierte Softwareentwicklung werden spezialisierte Werkzeuge für ein professionelles Versionsund Variantenmanagement von Modellen benötigt. Insbesondere Anwendungsfälle wie das Patchen oder Mischen von Modellen stellen sehr hohe Anforderungen an die Konsistenz der synthetisierten Modelle. Während für das klassische 3-Wege-Mischen von Modellen bereits erste brauchbare Ansätze vorgeschlagen wurden, bestehen erhebliche Defizite bei Patch-Werkzeugen. Anhand realer Einsatzszenarien von Patch-Werkzeugen erörtern wir die wesentlichen Anforderungen und Schwierigkeiten und analysieren potentielle Fehlerquellen bei der Anwendung von Patches. Daraus leiten wir wesentliche Entwurfsentscheidungen zur Konstruktion von Patch-Werkzeugen ab und stellen unseren Ansatz zum konsistenzerhaltenden Patchen vor. 1 Einleitung und Motivation Die modellbasierte Softwareentwicklung leidet nach wie vor an einer unzureichenden Unterstützung durch Versionsmanagement-Werkzeuge [EM12]. Während teilweise schon brauchbare Werkzeuge zum Anzeigen von Differenzen und Mischen von Modellen vorhanden sind, bestehen erhebliche Defizite bei Patch-Werkzeugen. Die verfügbaren Werkzeuge sind nicht annähernd so ausgereift und breit einsetzbar wie z.B. die UNIXStandardwerkzeuge patch oder diff. Dieses Papier behandelt das Patchen von Modellen. Patchen (to patch ausbessern, flicken, korrigieren) bezeichnet ganz allgemein den Vorgang, ein Dokument durch Anwendung einer Änderungsvorschrift (the patch der Flicken, die Korrektur) abzuändern. Ein Patch entsteht i.d.R. durch Berechnung der Differenz zwischen zwei Dokumenten; er besteht aus einer Sequenz von Editierschritten, die das erste Dokument in das zweite überführen. Abschnitt 2 definiert grundlegende Begriffe und grenzt das Patchen vom 3-Wege-Mischen ab. Patch-Werkzeuge werden für mehrere Entwicklungsaufgaben benötigt, bei denen unterschiedliche Randbedingungen zu beachten sind (s. Abschnitt 3). Das Hauptproblem beim Patchen ist die Anwendung eines Patches auf ein anderes Modell als das, das beim Vergleich als Basismodell diente: hierdurch kann die Anwendung des Patches scheitern und das Modell so inkorrekt werden, daß es nicht mehr mit Modelleditoren verarbeitet werden kann. Abschnitt 4 analysiert diese Probleme und führt die in diesem Papier unterstellte Definition korrektheitserhaltender Editieroperationen ein.